Usable Design Space Exploration in AutoFOCUS3

Design Space Exploration and its Visualization in AUTOFOCUS3

Software-intensive embedded systems are characterized by an increasing number of features that implement complex safety-critical functionalities. These systems are more and more developed in a model-based fashion that has been considered as a central design approach to deal with the increase in software complexity. These kinds of embedded systems always require multiple constraints both functio...

A Power Aware Cache and Register File Design Space Exploration

An Exploration of Representations to Aid Design of Haptic Behaviours

Haptic representations need to support human goals, capabilities, and desires. Thus a challenge is to create usable and intuitive haptic representations of intangible real-world ideas. To support this challenge of designing better haptic interfaces, we need better abstract representations of haptic signals, and of the space the signals represent. These representations will (a) help designers ex...

Next-state computation templates in state space exploration

In the context of the mCRL2 model checking toolkit, we investigate the transition system computation process of state space exploration in search of cases in which similar states lead to duplicate work being performed. We present two techniques to take advantage of this scenario to speed up state space exploration by memoizing the results of expensive computations among usable state patterns, r...

Reducing state space exploration in reinforcement learning problems by rapid identification of initial solutions and progressive improvement of them

Most existing reinforcement learning methods require exhaustive state space exploration before converging towards a problem solution. Various generalization techniques have been used to reduce the need for exhaustive exploration, but for problems like maze route finding these techniques are not easily applicable. This paper presents an approach that makes it possible to reduce the need for stat...